Mathématiques discrètes

Fondements de la logique et de la théorie des ensembles